$\forall$$L$:Top List. filter($\lambda$$x$.true$_{2}$;$L$) $\sim$ $L$